根据GB/T12504-2008《计算机软件质量保证计划规范》中的规定，在软件验收时，验证代码与设计文档的一致性、接口规格说明的一致性、设计实现和功能需求的一致性等检查属于( )。